Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
461	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein 1 Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Formal methods Computer law Copyleft Automated theorem proving Logic in computer science Isabelle SPASS Paul Gottlieb Nipkow Satisfiability Modulo Theories Theoretical computer science Mathematical software Applied mathematics
462	Verification Challenges of Pervasive Information Flow Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-02-11 22:13:22 Benjamin Pierce Pierce Formal verification E Programming language Applied mathematics Mathematics Computer science Hardware verification languages Formal methods Logic in computer science
463	Phillip J. Windley 151 S[removed]East Lindon, UT[removed][removed]removed] Add to Reading List Source URL: phil.windley.org Language: English - Date: 2003-03-12 22:59:46 Formal methods Software Automated theorem proving Very-large-scale integration Formal verification Actor model E theorem prover Hardware description language HOL Theoretical computer science Logic in computer science Applied mathematics
464	Tools for Traceable Security Verification Jan Jurjens and Yijun Yu ¨ Computing Department, The Open University, UK http://mcs.open.ac.uk/{jj2924,yy66} Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:25 Science Computing Code refactoring Extreme programming Transport Layer Security Cryptography Traceability Formal verification Public-key cryptography Technology Software engineering Formal methods
465	Security Protocols, Properties, and their Monitoring Andreas Bauer Jan Jürjens Computer Sciences Laboratory Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2008-05-27 22:19:01 Mathematics Formal methods Temporal logic Model checking Linear temporal logic Formal verification Runtime verification Büchi automaton Model theory Theoretical computer science Applied mathematics Logic in computer science
466	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification D EFINING H IGHER O RDER L OGIC Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Formal methods Model theory Boolean algebra Fixed-point combinator First-order logic Hoare logic Propositional calculus Simply typed lambda calculus Mathematical logic Logic Theoretical computer science
467	capDL: A Language for Describing Capability-Based Systems Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker NICTA and University of New South Wales Sydney, Australia Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:10:09 Access control Capability-based security Microkernel L4 microkernel family Coyotos EROS Formal verification Kernel Isabelle Computer architecture Security Computer security
468	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein {P} . . . {Q} Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Law Plagiarism Formal languages Creative Commons Free music String Attribution Open content Computer law Copyleft
469	Microsoft Word - Certus SFI 2011 Annual Report.docx Add to Reading List Source URL: certus-sfi.no Language: English - Date: 2014-04-23 07:23:38 Formal methods Pharmaceutical industry Validity Software development Systems science Software development process Software engineering Validation Verification and validation Systems engineering Software testing Science
470	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein −→ Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computer law Copyleft Formal languages Isabelle Rewriting Creative Commons Divergence Q Theoretical computer science Open content Programming language theory

UPDATE